2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Category Theory and Computer Science: Manchester, UK, September 5-8, 1989. Proceedings (Lecture Notes in Computer Science)
Автор:
David H. Pitt
, Автор:
David E. Rydeheard
, Автор:
Peter Dybjer
, Автор:
Andrew M. Pitts
, Автор:
Axel Poigne
Категория:
Компьютеры
Размер книги: 17.83 Mb
Epistemology versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf
Автор:
Peter Dybjer
, Автор:
Sten Lindström
, Автор:
Erik Palmgren
, Автор:
Göran Sundholm (Editors)
Категория:
Математика
,
Математическая логика
Размер книги: 2.56 Mb
Category Theory and Computer Science 1989
Автор:
David H. Pitt
, Автор:
David E. Rydeheard
, Автор:
Peter Dybjer
, Автор:
Andrew M. Pitts
, Автор:
Axel Poigne
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 2.82 Mb
Applied Semantics: International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures (Lecture Notes in Computer Science)
Автор:
Gilles Barthe
, Автор:
Peter Dybjer
, Автор:
Luis Pinto
, Автор:
Joao Saraiva
Размер книги: 7.55 Mb
Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers
Автор:
Peter Dybjer
, Автор:
Bengt Nordström
, Автор:
Jan Smith
Размер книги: 1.98 Mb
Types for Proofs and Programs: International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers
Автор:
Thierry Coquand
, Автор:
Peter Dybjer
, Автор:
Bengt Nordström
, Автор:
Jan Smith
Размер книги: 1.42 Mb
Applied Semantics: International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures
Автор:
Gilles Barthe
, Автор:
Peter Dybjer
, Автор:
Luis Pinto
, Автор:
Joao Saraiva
Размер книги: 3.23 Mb
